如是已说修观行者总相悟入。有为性空。而未悟入无为性空。若不开示无由悟入。若不悟入无分别慧。谓趣入行终不得成。为开示故复说是言。无为无有实不起似空花。此中简别立宗言词。即上真性须简别意。如前应知。就真性故立无为空。非就世俗。非有为故说名无为。翻对有为是无为义。即是虚空择非择灭及真如性。谓前所除法处一分先显悟入。虚空性空易开示故。唯就空无有质碍物。世间共立名虚空故。由此为门悟入所余无为空性。即此世间所知虚空。就真性故空无有实。是名立宗。即此所立就真性故无实虚空。二宗皆许为不起故。或假立为不起法故。说名为因。空花无实亦不起故。立为同喻。不说遮止异品立为不同法喻。如前应知。云何此中建立比量。谓就真性虚空无实以不起故。诸不起者愚智同知。其性无实犹如空花。此所立因不起故者。略举名相。复有余因。非所作故。非能作故。无灭坏故。如是等因能遮所说无为空性。是故如应皆得为因。如说汝当守掌此酥勿令乌近。为令所守无损污故。亦应遮彼猫鼠等类。
毗婆沙师咸作是难。若所立宗无为无实。是无有义。空处等至即无所缘。云何得有。然无障碍是虚空相。此若方便立比量言。空处等至实有所缘。或境实有。是等至故。如是等至所缘境故。如余等至。或如彼缘。其余等至及彼所缘。是有为故。已辩性空则无同喻。此就胜义辩虚空相。若就世俗所立虚空亦非实有。以不起故。犹如空花。由此比量彼所建立实有不成。又即由此我所说因。汝言等至所缘境故。因有决定相违过失。是故我先所立义成无障难故。
自部他部有作是言。若就真性虚空无实。以不起故。此言义准。起者皆实。若言起者。亦无有实是则此因。不遍同品因性不成。此是义准。相似过类似不成过。此审定言。诸不起者皆无有实。非审定言。诸无实者悉皆不起。虽复勤勇无间所发。不遍同品亦许为因。故此无过。
有余难言。虚空有性世共知故。花亦有性。嗢钵罗等世现见故。空花二种虽不相应非无自性。故空花喻所立不成。此难不然。此空花喻就第六转依士训释。空之花故说名空花。此既非有故喻非无。
由此道理修观行者应正悟入虚空性空。于择灭等三种无为性空道理亦当悟入。
毗婆沙师不忍遮破择灭无为。复作是难。佛说择灭对治有为故名出离。若谤言无。汝等便有违宗过失。又世尊说。喜贪俱行诸受尽灭。名为涅槃寂静微妙。云何言无。此中世尊欲令所化于有为境勤修厌离于无为境随顺欣乐故。就世俗说有择灭出离涅槃寂静微妙。如佛说有化生有情。说有无为涅槃亦尔。许此有故无违宗过。但就真性遮破择灭。故世尊言。诸有寻求涅槃有性。我说痴人外道弟子。乃至广说。又言。如来不见生死及以涅槃。言涅槃者如来假立。此中都无涅槃自性。乃至广说。亦无诽谤圣谛过失。以就世俗说有爱苦毕竟不生出离涅槃寂静微妙无颠倒故。非就胜义说有爱苦毕竟不生本性寂灭名为灭谛。由此圣教及所说理。就真性故说无择灭无此过失。