FORMAL STAIRCASE WITH#0009