pure: slave_waiting_for_prepare
pure: slave_wait_for_accept
pure: slave_steady_state
pure: stable_master