Premise: Next steps

Hypothesis: There are no further steps.
Relation: contradiction