瑜伽八十六卷四頁云：復次，於諸行中，如理修者有四勝進，謂勝進想，略有三種：一、未得為得，二、未會為會，三、未證為證。若為獲得現法樂住，名第四勝進。最初能得先所未得預流果故，當知是名未得為得；即此為依，復能契會上學果故，當知是名未會為會；即此為依，復能證得阿羅漢果，於諸惑斷，能作證故，當知是名未證為證。若已證得阿羅漢果，更無未得為得，乃至未證為證故，正勤修習。但為現法樂住，正勤修習。