dead zone subgroup of zone, 2 assertions