Temporal and modal contexts generate counterexamples where the opposite of the consequent is incompa...