瑜伽論記 6.131

6.131

基云：種子法即涅槃證之種子，由現有故簡當。有義：現簡於當有、簡於無若爾。勝軍當有，此如何通？解曰：由現有煩惱等障可斷故，亦名現有？此三家義，應敘之。

Ji says: Dharmas of seed-nature are the seeds for realizing nirvāṇa; because they are presently existing, this excludes future existents. There is an explanation: "Present" excludes the future, and "existing" excludes non-existence. If so, how does one resolve the view of Jayasena on future existence? The explanation is: Because the obstacles of defilements and so forth presently exist and can be severed, it is also called "presently existing." The positions of these three masters should be recounted.