Finished equivalence section