After using the disjunctive equivalent of an implication:
Go to next step