Finished writing about the non-equivalence.