Oct. 1, 2018, 2:41 p.m.

Logic

Theorem: a cat has nine tails.
Proof:
No cat has eight tails. A cat has one tail more than no cat.
Therefore, a cat has nine tails.