STUB: Specifies how the compiler keeps generated code proportional to the source. Defines let-sharing, inline-by-name, and the conditions for each, and shows how naive substitution would duplicate terms exponentially and how sharing prevents that while preserving evaluation semantics.