Gondree, M. “First Order Logic - Quantifiers: Discrete Mathematics”. POGIL Activity Clearinghouse, vol. 3, no. 4, Jan. 2023, https://pac.pogil.org/index.php/pac/article/view/337.