結果 : define existential quantifier with example