Hot: quantifier