updates to quantifier stuff