Value Equivalence
Subsections
Definition
Explanation
Discussion of Naming