code: private void becomeFollowerWithoutUpdatingCurrentTerm(long currentTerm, @Nullable String newLeader) {
          logRoleChange(currentTerm, role, Role.FOLLOWER);
  
          stopHeartbeatTimeout();
  
          setFollowerState(newLeader);
      }
docs: two clearly-labelled entry points