This paper introduces the exponential substitution calculus (ESC). a new presentation of cut elimination for IMELL. based on proof terms and building on the idea that exponentials can be seen as explicit substitutions. The idea in itself is not new. https://www.sylvaingoudreau.com/product-category/pulses-lentils/