LISP = Lots of Irritating Silly Parentheses
------------------------------
------------------------------
Proof. No cat has eight tails. Since one cat has one more tail than no cat, it must have nine tails.
------------------------------
------------------------------