Return doesn't modify the environment anymore