note leader commit deficiency & possible livelock; cite howard's ARC paper