Quantitative synthesis