結果 : universal vs existential quantification