If and modus ponens | lit.salon