A simplification: `with` can be removed without introducing auxiliary functions.