After scope narrowing of the universal quantifier:
Go to next step