... doubt you have any idea what a contrapositive is, a ... assumptions, valid/invalid inferences, universal quantifiers, existential quantifiers, logical indicators, et cetera ... have any idea of what at least most of ... imagine you can envision what it would be like ...