change to list of variables under quantifier