this uncovered that our story with respect to disjointness of namespaces is still lacking