After scope narrowing of the universal quantifier:

Go to next step