https://123deta.com/document/zgwk6vj7-c-algebras-boolean-inverse-monoids-traces-invariant-means.html