Fixed a mistake; swapped the meaning of equivalence and equality in my head.