-------------------------
Diamond Property Equality
-------------------------

The tests are at http://josd.github.io/eye/reasoning/dpe/test
