After converting the disjunction back into an implication:
Go to next page