Try to translate a novel, it was writen by a famous computer scientist. I have the original and translation, so I can position the error and correct my translate.
Theorems
How about the associative law, (x+y)+z=x+(y+z).
Oh, I doubt if we'll need that; it didn't come up in the calculations. But I suppose it won't hurt to try it, since my math teachers always used to think it was such a great thing. One associative law, coming right up. can you work out the definition?
You're really good at these hairy formulas. But how can such monstrous things be proved equal?
It's not hard, just using a day-sum argument on (x,y,z) as we did before. See,.....I'm so sleepy.