大方廣佛華嚴經隨疏演義鈔 45.16

45.16

疏「三數緣滅」。「故唐三藏」下，出其異名。「謂擇力所得」者，是《俱舍》論釋。故彼喻云「如牛所駕車名曰牛車，略去中言，故作是說但云擇滅。」《唯識》釋云「由揀擇力，滅諸雜染，究竟證會，故名擇滅。」

The commentary's "Third, cessation through analytical deliberation" (shuyuán miè): from "Hence the Tang Tripiṭaka [Master]..." below, it presents its alternative name. When it says "It refers to what is attained by the power of deliberation," this is the explanation of the Abhidharmakośa-śāstra. Hence its analogy states: "Just as a cart drawn by oxen is called an ox-cart, by omitting the intermediate words it is spoken of in this way, simply called cessation through deliberation." The Vijñaptimātratāsiddhi explains: "By the power of discernment and deliberation, one extinguishes all defilements and ultimately realizes and encounters it; hence it is called cessation through deliberation."