# Elements of Programming

## Chapter 1 - Foundations

* Lemmas
  * 1.1 - If a value type is uniquely represented, equality implies representational equality.
  * 1.2 - If a value type is not ambiguous, representational equality implies equality.