let d_diseq d = d