`modus-ponens` Related Article Results