https://filesoo.com/product/38206/decision-problems-for-equational-theories-of-relation-algebras