已辯有漏及有漏因，云何無漏？謂道聖諦及已辯有漏及有漏因，云何無漏？謂道聖諦及三無為。有異釋言：與漏等類故名有漏，如有三無為。
有異釋言：與漏等類故名有漏，如有種族。復有釋言：為漏所污故名有漏，如有種族。復有釋言：為漏所污故名有漏，如有毒食。或有釋言：與漏俱斷故名有漏，如天帝毒食。
或有釋言：與漏俱斷故名有漏，如天帝釋有怛策迦與彼俱墮。如是等類訓釋眾多。釋有怛策迦與彼俱墮。如是等類訓釋眾多。
與彼相違名無漏法。道聖諦者，謂非有漏色與彼相違名無漏法。道聖諦者，謂非有漏色等五蘊。三無為者，虛空、二滅，所謂擇滅及非等五蘊。
三無為者，虛空、二滅，所謂擇滅及非擇滅。此虛空等三種無為及道聖諦，由是因擇滅。此虛空等三種無為及道聖諦，由是因緣名為無漏。次前已說其道聖諦，後當廣緣名為無漏。
次前已說其道聖諦，後當廣辯。於略所說三無為中，虛空但以無礙為辯。於略所說三無為中，虛空但以無礙為性，於中諸法最極顯現，故名虛空。是則無障性，於中諸法最極顯現，故名虛空。
是則無障以為其相，所有大種及造色聚一切不能遍以為其相，所有大種及造色聚一切不能遍覆障故。或非所障亦非能障，是故說言無障覆障故。或非所障亦非能障，是故說言無障為相。已說虛空。擇滅即以離繫為性，於四聖為相。
已說虛空。擇滅即以離繫為性，於四聖諦各別簡擇故名為擇。即是善慧差別為諦各別簡擇故名為擇。
即是善慧差別為性，離繫涅槃是此果故，名為擇滅。有作是言：性，離繫涅槃是此果故，名為擇滅。有作是言：諸所斷法同一擇滅。對法者言隨繫事別，若諸所斷法同一擇滅。
對法者言隨繫事別，若諸所斷同一擇滅，證得苦法智忍所斷煩惱諸所斷同一擇滅，證得苦法智忍所斷煩惱滅時，餘煩惱滅為證得不？若證得者，修餘對滅時，餘煩惱滅為證得不？若證得者，修餘對治則為無用；若不證得，是則一物證少非餘，治則為無用；
若不證得，是則一物證少非餘，與理相違，有分過故。由是定應許離繫事，隨與理相違，有分過故。由是定應許離繫事，隨繫事量，不違正理。已說擇滅。永礙當生得非繫事量，不違正理。
已說擇滅。永礙當生得非擇滅。擇謂如理勤所成慧，不由此慧有法永擇滅。
擇謂如理勤所成慧，不由此慧有法永礙未來法生，名非擇滅。如眼與意專一色時，礙未來法生，名非擇滅。如眼與意專一色時，於所餘色及一切聲香味觸等念念滅中，對於所餘色及一切聲香味觸等念念滅中，對彼少分意處法處得非擇滅，以五識身及與彼少分意處法處得非擇滅，以五識身及與一分意識身等於已滅境終不能生，緣俱境一分意識身等於已滅境終不能生，緣俱境故。由彼生用，繫屬同時所依緣故。若法能礙故。
由彼生用，繫屬同時所依緣故。若法能礙彼法生用，此法離慧定礙彼法，令住未來永彼法生用，此法離慧定礙彼法，令住未來永
下页续读