[otrack]

On th topic, I would advice reading the boulangerie algorithm. An improved version of the original solution:

https://lamport.azurewebsites.net/tla/boulangerie.html