In protocol MaxWave, let a message originated by an initiator reach another entity y at time t + w. Prove that regardless of whether y has already independently started or starts now, the current value of its reset local clock will be smaller than w; thus, y will set its clock in unison with the clocks of the initiators.