removing extra whitespace
now allowing multiple variables in quantifier
bugfix