復徵。「謂於差別為建立因」者，說一切有復徵。「謂於差別為建立因」者，說一切有部答。「所以者何」者，經部復徵。「若無有得部答。
「所以者何」者，經部復徵。「若無有得至建立差別」者，說一切有部答。若有得體，可至建立差別」者，說一切有部答。
若有得體，可得建立異生、聖者兩種差別。若無有得，異得建立異生、聖者兩種差別。若無有得，異生、聖者起世俗有漏心，應無兩種差別。生、聖者起世俗有漏心，應無兩種差別。
「豈不煩惱至應有差別」者，經部為釋差別。「豈不煩惱至應有差別」者，經部為釋差別。豈不煩惱已斷名聖、未斷名凡，有差別故，豈不煩惱已斷名聖、未斷名凡，有差別故，應有差別。「若執無得至離未離故」者，說應有差別。
「若執無得至離未離故」者，說一切有部難。我許有得，斷、未斷成。由煩惱一切有部難。我許有得，斷、未斷成。
由煩惱得離故名斷，未離故名未斷。若執無得，如得離故名斷，未離故名未斷。若執無得，如何可說惑斷、未斷？「此由所依至但假何可說惑斷、未斷？
「此由所依至但假非實」者，經部釋。斷、未斷由治道力，令所依非實」者，經部釋。斷、未斷由治道力，令所依身無復功能令其現起，名為斷、名不成身無復功能令其現起，名為斷、名不成就。與此相違，名為未斷、名為成就。若聖道就。
與此相違，名為未斷、名為成就。若聖道力畢竟斷故名斷，若世間道損伏斷故名斷。力畢竟斷故名斷，若世間道損伏斷故名斷。
成與不成皆假非實，昔有惑種，今斷即無，成與不成皆假非實，昔有惑種，今斷即無，故名轉變異本。「善法有二至亦假非實」故名轉變異本。「善法有二至亦假非實」者，經部義便，約二善辨成不成、斷與未者，經部義便，約二善辨成不成、斷與未斷。生得善不由功力修得，有斷、未斷，有斷。
生得善不由功力修得，有斷、未斷，有成、不成。言斷者，謂邪見力，能損身中生得成、不成。言斷者，謂邪見力，能損身中生得善種，令不能生現行善心，應知名斷。非善種，令不能生現行善心，應知名斷。
非畢竟害令其總無，故說名為斷。有而無用畢竟害令其總無，故說名為斷。有而無用故名為損，損時名斷、名不成，未損名成、名故名為損，損時名斷、名不成，未損名成、名未斷。加行善要由功力修得，有成、不成。未斷。
加行善要由功力修得，有成、不成。若所依中彼善法種由已起故，善種增長若所依中彼善法種由已起故，善種增長生彼現行，功能自在勢力無損，自在義邊說生彼現行，功能自在勢力無損，自在義邊說名成就，即當大乘自在成就。若彼善種雖名成就，即當大乘自在成就。
若彼善種雖復先有，或時未起、或起已退還不自在，名不復先有，或時未起、或起已退還不自在，名不成就。「故所依中至無有別物」者，經部結成成就。「故所依中至無有別物」者，經部結成
下页续读