class RedundantDependency::DistrictNumber