Intuisjonen vår rundt variabler er at til en lokal variabel er irrelevant, funksjonene og representerer funksjon. Alpha-regelen gjør det at man kan bytte om lokale navn formelt.