Expressions and Equivalence