Nonsensical Proof Mountain