Let, in protocolMaxWave, each entity reset its local clock to 0 when it starts the protocol. Prove that in this way, the maximum value transmitted is at most 2d.