# referential transparency

1. Given name in given environment denotes the same value.
2. Given expression in given environment evaluates to same value.