Add 'let' to spec