Production frequency and the verification of quantified statements

Production frequency and the verification of quantified statements