existential second-order logic