removed disjoint in sperner