3 = 1   & <1,(-1),0><0
   32
   & 1<0  3-1 = 1   & <-1,0><0  3-12 & -1<0  ( i in 0: ^(3-1-1). i<0)

1

1<0  3-1 = 1   & <-1,0><0  3-12 & -1<0  ( i in 0: ^(3-1-1). i<0)

2 steps

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html