add missing disjointness condition!