Actually I made a mistake there. Going on mere memory and without checking, I put the double negation, which comes from an axiom. So yes, what I meant is "If I

Actually I made a mistake there. Going on mere memory and without checking, I put the double negation, which comes from an axiom. So yes, what I meant is "If I eat hard candy, I get toothache" does not imply "I have a toothache, so I ate hard candies". Which is the form I was commenting on. I should have provided an example (and double checked!).