New Proof Shows That ‘Expander’ Graphs Synchronize

Can someone smarter than me explain whether this has implications in distributed consensus?

This might earn them the Dijkstra Prize -- or somebody else building on top of this will earn it.

Does it apply to the turn indicators in a line of cars waiting to turn?