https://123dok.org/document/yr36wk2p-binary-aggregation-with-integrity-constraints.html