TFW can't use the SIMP tactic

General
1

to produce a "I have transcended from nazi to simp" thread with a screenshot of the thereom prover