Quantifier section update. Not done yet.