13We’re also simplifying let expressions to use substitution, just to avoid letting the reduction get out of hand.