Premise: where as it would have been exactly um

Hypothesis: Where as if it had been different.
Relation: contradiction