6.4.2 Equivalence of Patterns