After converting the disjunction back into an implication:

Go to next page