generated at
2/18/2025, 4:49:22 PM
ExplicitForAll
https://serokell.io/blog/universal-and-existential-quantification