ExplicitForAll
https://serokell.io/blog/universal-and-existential-quantification