It's not currently possible to compute ```julia d1 ≈ d2 ``` for all differentials `d1` and `d2`. Probably we want to be able to do this, and it shouldn't be too hard.