fr:diag:equivalence