結果 : differentiate between universal and existential quantifiers with examples