> so it's safe to map one function to multiple syntactic representations. If the benefits of multiple representations of the same value aren't clear from this

> so it's safe to map one function to multiple syntactic representations. If the benefits of multiple representations of the same value aren't clear from this example, consider a more mundane one: red-black trees as representations of ordered sets. For obvious efficiency reasons, it's not desirable to assign to each ordered set a canonical red-black tree representation.