furthers the env abstraction