Modus ponens by Jesse Russell