After using the disjunctive equivalent of an implication:

Go to next step