Quando se aplica a função incrementa, o ambiente em que ela foi definida é ampliado com um enquadramento vazio pois a função não tem parâmetros. Neste ambiente, a variável valor possuia o valor zero. A avaliação do corpo da função altera o valor daquela variável para 1, e devolve o seu novo valor. Cada nova avaliação altera a ligação que tinha sido estabelecida na definição da função.