some changes to quantifier stuff
more quantifier stuff