Price class update and quantifier removal