Consider the unison protocol MinWave where instead of setting the clocks to and propagating the largest value, we set the clock to and propagate the smallest value. Prove correctness, termination, and costs of protocolMinWave.