modus ponens | Tom Van Vleck