Yeppers. For a few more details, one might start here: https://en.wikipedia.org/wiki/Universal_quantification