@xiangli-cmu Actually, it seems like "step down" and "discover new leader" are the same thing.