inverse-ref and equivalence relation