This is a `forall`. It will even allow for early termination.