瑜伽八十六卷四页云：复次，于诸行中，如理修者有四胜进，谓胜进想，略有三种：一、未得为得，二、未会为会，三、未证为证。若为获得现法乐住，名第四胜进。最初能得先所未得预流果故，当知是名未得为得；卽此为依，复能契会上学果故，当知是名未会为会；卽此为依，复能证得阿罗汉果，于诸惑断，能作证故，当知是名未证为证。若已证得阿罗汉果，更无未得为得，乃至未证为证故，正勤修习。但为现法乐住，正勤修习。 - 朱芾煌

瑜伽八十六卷四页云：复次，于诸行中，如理修者有四胜进，谓胜进想，略有三种：一、未得为得，二、未会为会，三、未证为证。若为获得现法乐住，名第四胜进。最初能得先所未得预流果故，当知是名未得为得；卽此为依，复能契会上学果故，当知是名未会为会；卽此为依，复能证得阿罗汉果，于诸惑断，能作证故，当知是名未证为证。若已证得阿罗汉果，更无未得为得，乃至未证为证故，正勤修习。但为现法乐住，正勤修习。 - 朱芾煌

瑜伽八十六卷四页云：复次，于诸行中，如理修者有四胜进，谓胜进想，略有三种：一、未得为得，二、未会为会，三、未证为证。若为获得现法乐住，名第四胜进。最初能得先所未得预流果故，当知是名未得为得；卽此为依，复能契会上学果故，当知是名未会为会；卽此为依，复能证得阿罗汉果，于诸惑断，能作证故，当知是名未证为证。若已证得阿罗汉果，更无未得为得，乃至未证为证故，正勤修习。但为现法乐住，正勤修习。 - 朱芾煌

瑜伽八十六卷四页云：复次，于诸行中，如理修者有四胜进，谓胜进想，略有三种：一、未得为得，二、未会为会，三、未证为证。若为获得现法乐住，名第四胜进。最初能得先所未得预流果故，当知是名未得为得；卽此为依，复能契会上学果故，当知是名未会为会；卽此为依，复能证得阿罗汉果，于诸惑断，能作证故，当知是名未证为证。若已证得阿罗汉果，更无未得为得，乃至未证为证故，正勤修习。但为现法乐住，正勤修习。 - 朱芾煌

瑜伽八十六卷四页云：复次，于诸行中，如理修者有四胜进，谓胜进想，略有三种：一、未得为得，二、未会为会，三、未证为证。若为获得现法乐住，名第四胜进。最初能得先所未得预流果故，当知是名未得为得；卽此为依，复能契会上学果故，当知是名未会为会；卽此为依，复能证得阿罗汉果，于诸惑断，能作证故，当知是名未证为证。若已证得阿罗汉果，更无未得为得，乃至未证为证故，正勤修习。但为现法乐住，正勤修习。 - 朱芾煌

瑜伽八十六卷四页云：复次，于诸行中，如理修者有四胜进，谓胜进想，略有三种：一、未得为得，二、未会为会，三、未证为证。若为获得现法乐住，名第四胜进。最初能得先所未得预流果故，当知是名未得为得；卽此为依，复能契会上学果故，当知是名未会为会；卽此为依，复能证得阿罗汉果，于诸惑断，能作证故，当知是名未证为证。若已证得阿罗汉果，更无未得为得，乃至未证为证故，正勤修习。但为现法乐住，正勤修习。 - 朱芾煌