Cleanup indistinguishability relation + made sure it matches the LaTeX