let d_equal e = e