Use `for` to introduce universal quantification