Talk:Conditional quantifier