... problems if you understand what contrapositive really means and ... The issue here is called existential import: referring to some ... you MUST not CHANGE quantifiers without justification. You start ... terms without justification is what Mathematica's changed logic ...