... equivalent to “if not A then not B”), but those could ... would be mostly unnecessary. But unfortunately, that’s not ... ability to teach formal logic, but believe me – I would ... because I want to, but because I have to. ... automatic for you now, but there was a time ...