can `self.zone.district` ever be `None`?