Keywords = Quantitative synthesis