trying to figure out why its not setting quantification on math vardecs anymore