Premise: This could happen in presorting.

Hypothesis: It couldn't happen anywhere.
Relation: contradiction