Supports axiom disjointness.