Update k-Equality.md