effects`disjoint-join-commutative.
shared-efx`disjoint-symmetric
effects`disjoint-symmetric