Better algebra for abstract measures.