问曰：世间眼见三时有作，已去、未去、去时；以有作故，当知有诸法。
答曰：
已去无有去， 未去亦无去，
离已去、未去， 去时亦无去。
已去无有去，已去故。若离去有去业，是事不然。未去亦无去，未有去法故。去时名半去半未去，不离已去、未去故。
问曰：
动处则有去， 此中有去时，
非已去、未去， 是故去时去。
随有作业处，是中应有去。眼见去时中有作业，已去中作业已灭，未去中未有作业，是故当知去时有去。
答曰：
云何于去时， 而当有去法？
若离于去法， 去时不可得。
去时有去法，是事不然。何以故？离去法，去时不可得。若离去法有去时者，应去时中有去，如器中有果。
复次，
若言去时去， 是人则有咎；
离去有去时， 去时独去故。
若谓已去、未去中无去，去时实有去者，是人则有咎。若离去法有去时，则不相因待。何以故？若说去时有去，是则为二；而实不尔，是故不得言离去有去时。
复次，
若去时有去， 则有二种去，
一谓为去时， 二谓去时去。
若谓去时有去，是则有过，所谓有二去：一者、因去有去时，二者、去时中有去。
问曰：若有二去，有何咎？
答曰：
若有二去法， 则有二去者；
以离于去者， 去法不可得。
若有二去法，则有二去者。何以故？因去法有去者故，一人有二去；二去者，此则不然，是故去时亦无去。
问曰：离去者，无去法可尔，今三时中定有去者。
答曰：
若离于去者， 去法不可得；
以无去法故， 何得有去者？
若离于去者，则去法不可得，今云何于无去法中，言三时定有去者？
复次，
去者则不去， 不去者不去，
离去、不去者， 无第三去者。
无有去者。何以故？若有去者，则有二种：若去者，若不去者。若离是二，无第三去者。
问曰：若去者去，有何咎？
答曰：
若言去者去， 云何有此义？
若离于去法， 去者不可得。
若谓定有去者用去法，是事不然。何以故？离去法，去者不可得故。若离去者定有去法，则去者能用去法，而实不尔。
复次，
若去者有去， 则有二种去：
一谓去者去， 二谓去法去。
若言去者用去法，则有二过，于一去者中而有二去：一以去法成去者，二以去者成去法。去者成已然后用去法，是事不然。是故先三时中，谓定有去者用去法，是事不然。
复次，
若谓去者去， 是人则有咎，
离去有去者， 说去者有去。
若人说去者能用去法，是人则有咎，离去法有去者。何以故？说去者用去法，是为先有去者，后有去法，是事不然，是故三时中无有去者。
复次，若决定有去、有去者，应有初发，而于三时中，求发不可得。何以故？
已去中无发， 未去中无发，
去时中无发， 何处当有发？
何以故？三时中无发。
未发无去时， 亦无有已去，
是二应有发， 未去何有发？
无去无未去， 亦复无去时，
一切无有发， 何故而分别？
若人未发则无去时，亦无已去。若有发当在二处，去时、已去中，二俱不然。未去时未有发故，未去中何有发？发无故无去，无去故无去者，何得有已去、未去、去时？
问曰：若无去、无去者，应有住、住者。
答曰：
去者则不住， 不去者不住，
离去、不去者， 何有第三住？
若有住、有住者，应去者住，若不去者住。若离此二，应有第三住，是事不然。去者不住，去未息故，与去相违名为住。不去者亦不住。何以故？因去法灭故有住，无去则无住。离去者、不去者，更无第三住者。若有第三住者，即在去者、不去者中。以是故，不得言去者住。
复次，
去者若当住， 云何有此义？
若当离于去， 去者不可得。
汝谓去者住，是事不然。何以故？离去法，去者不可得。若去者在去相，云何当有住？去住相违故。
复次，
去、未去无住， 去时亦无住，
所有行、止法， 皆同于去义。
若谓去者住， 是人应在去时、已去、未去中住。三处皆无住，是故汝言去者有住，是则不然。如破去法、住法，行、止亦如是。行者，如从谷子相续至芽茎叶等。止者，谷子灭故芽茎叶灭。相续故名行，断故名止。又如无明缘诸行乃至老死是名行，无明灭故诸行等灭是名止。
问曰：汝虽种种门破去、去者、住、住者，而眼见有去、住。
答曰：肉眼所见不可信。若实有去、去者，为以一法成，为以二法成？二俱有过。何以故？
去法即去者， 是事则不然；
去法异去者， 是事亦不然。
若去法、去者一，是则不然，异亦不然。
问曰：一、异有何过？
答曰：
若谓于去法， 即为是去者，
作者及作业， 是事则为一。
若谓于去法， 有异于去者，
离去者有去， 离去有去者，
如是二俱有过。何以故？若去法即是去者，是则错乱破于因缘。因去有去者，因去者有去。又去名为法，去者名为人；人常，法无常。若一者，则二俱应常、二俱无常，一中有如是等过。若异者则相违，未有去法应有去者，未有去者应有去法，不相因待，一法灭应一法在，异中有如是等过。
复次，
去、去者是二， 若一、异法成，
二门俱不成， 云何当有成？
若去者、去法有，若以一法成，若以异法成，二俱不可得。先已说无第三法成，若谓有成，应说因缘无去、无去者。
今当更说，
因去知去者， 不能用是去，
先无有去法， 故无去者去。
随以何去法知去者，是去者不能用是去法。何以故？是去法未有时，无有去者，亦无去时、已去、未去。如先有人，有城邑得有所起；去法、去者则不然，去者因去法成，去法因去者成故。
复次，
因去知去者， 不能用异去，
于一去者中， 不得二去故。
随以何去法知去者，是去者不能用异去法。何以故？一去者中，二去法不可得故。
复次，
决定有去者， 不能用三去；
不决定去者， 亦不用三去；
去法定不定， 去者不用三；
是故去、去者， 所去处皆无。
决定者，名本实有，不因去法生。去法名身动，三种名未去、已去、去时。
若决定有去者，离去法应有去者，不应有住，是故说决定有去者不能用三去。若去者不决定，不决定名本实无，以因去法得名去者，以无去法故不能用三去。因去法故有去者，若先无去法则无去者，云何言不决定去者用三去？
如去者，去法亦如是。若先离去者，决定有去法，则不因去者有去法，是故去者不能用三去法。若决定无去法，去者何所用？
如是思惟观察，去法、去者、所去处，是法皆相因待。因去法有去者，因去者有去法，因是二法则有可去处，不得言定有，不得言定无。是故决定知，三法虚妄，空无所有，但有假名，如幻如化。