MānGS, 2, 15, 6.1 yadyarcā dahyed vā naśyed vā prapated vā prabhajed vā prahased vā pracaled vā sthālyā vā sthālīm āsicya dakṣiṇottarā vā sthālī bhidyetottarā vopalāśe niyamya dvāravaṃśo vā sphuṭet /

BKŚS, 19, 111.2 ākāśāśaviśāloccaṃ potaḥ sopānam āsadat //