Quantitative Certificate