«
»
If then
smbc
I hereby release this to any introductory logic professor who isn't a coward.