Proof Cats Are Evil