... because of other issues but I must introduce this here a ... FURTHER problems if you understand what contrapositive really means and ... . How can something that does not exit refer to at ... switching terms without justification is what Mathematica's changed logic ...