C.10.31 Quantifier