p,r,q,s:Peg. p  q  r  s  permute(p to r ; q to s)(p) = r

By:	Compute Copermute(p to r ; q to s)(p) * if p=p r ; p=q s else otherPeg(r; s) fi

1

1. p : Peg 2. r : Peg 3. q : Peg 4. s : Peg 5. p  q 6. r  s   if p=p r ; p=q s else otherPeg(r; s) fi = r

1 step

About: IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html