Symmetry can also be very useful in the context of programming. In particular I find loop invariants to be a very useful tool when building convoluted looping a

Symmetry can also be very useful in the context of programming. In particular I find loop invariants to be a very useful tool when building convoluted looping algorithms - I'd guess you could formulate a similar symmetry for recursive algorithms.