en:diag:equivalence