≔ u = idiot ⇒ u(¬post) > u(post) ≔ u = ¬idiot ⇒ u(¬post) ≤ u(post) ∃ u ⇒ u(¬post) > u(post) ⸫ ∃ u = idiot QED
MBTI = Hume Socionics = Kant Psychological Types = William James Emerson on Kant: A Metaphysician Not Worth Reading
Forum Rules