Dom. Mar 9th, 2025

modus ponens