protected boolean isLeader() { return (model != null && model.isLeader(thisAgent));
protected boolean isLeader(String name) { return (model != null && model.isLeader(name));
  protected boolean isLeader() {    return (model != null && model.isLeader(thisAgent));  }