Talk:Quantifier elimination