EXPRESSIONS and EQUIVALENCE