Chengshi zong. The Satyasiddhi school， a late Hi^naya^na 小乘 school whose doctrines come very close to Maha^ya^na 大乘 on certain points. This school was established primarily on the teachings of the Satyasiddhi-/sa^stra， among other works by Harivarman 诃梨跋摩. One of the thirteen Chinese schools 十三宗.