Fix coinductive equivalence.