wiki/concepts/equivalence.md history