discuss disjointness + coverage fixing #202