≔ u = idiot ⇒ u(¬post) > u(post) ≔ u = ¬idiot ⇒ u(¬post) ≤ u(post) ∃ u ⇒ u(¬post) > u(post) ⸫ ∃ u = idiot QED
Forum Rules