Class SimplifiedFactorHigh.Quantified