6.5.2 Identifying Functions and Equivalence in Context