more resolute quantifier stuff
minor addition