Define disjointness of namespaces in terms of masks.\n\nThe proofs are made simpler and some lemmas get more general.