Text this: Simple optimal algorithm for leader election /