fix to quantifier validation
model updates