if(isLeader() || isNode(name)) {
if ((isLocal(name) || isNode(name)) || thisAgent.equals(preferredLeader()) || isLeader(name)) {
    public void expired(String name) {      if(isLeader() || isNode(name)) {        newState(name, DEAD);      }    }