Scoping and ‘let’ introduction