add prereqs with quantifier