Proof by obviousness - eviltoast