finished modifying equivalence section