Instanciate Lets correctly