User blog comment:Wythagoras/All my stuff/@comment-5150073-20130708092804

By the way, multiplication and exponentiation are redundant as unique functions, since they can be defined through addition and recursion.