Premise: supposed to get to and in other cases it it does not

Hypothesis: It always gets to where it's supposed to go to.
Relation: contradiction