MDLUL/Modus ponens