Systematically Improving Espresso: Mathematical Modeling and Experiment (2020)