16 Leader Election Subtleties