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

By:	Compute Copermute(p to r ; q to s)(q) * if q=p r ; q=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 q=p r ; q=q s else otherPeg(r; s) fi = s

4 steps

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