sooner or later we'll converge to proof-backed code

It's only a race if the defender can afford the tokens