What must be established before deriving a contrary implication?

Further Conditional Rhetoric: In, Idha, Tense and Indirect Implication