Finally, we wish to emphasize that these conclusions were possible only because of the easy parameterization of coverage-dependent thermophysical properties in Cantera. The ability to include coverage-dependent binding energies in a systematic, robust method that does not violate thermodynamic consistency has proven itself indispensable for mean-field models in computational heterogeneous catalysis .