Proof zombies are dumb