Title: If and modus ponens
First published: 1975