The Kill Switch Has an Owner Problem. The Chokepoints Don't. | VeriSwarm