https://profilpelajar.com/en/Existential_second-order_logic