Let the entities start the j th iteration of DoubleWait within n − 1 time units from each other. Prove that the entity with the smallest value becomes leader and all other will become defeated in that iteration.