leader election works