edited first half of equivalence section