Proof by verbosity