Prove equality laws on functions.
Prove some silly theorems.