some more useful lemmas
Localization is a reflective subuniverse