結果 : what is a quantified propositional function