docs: public Core getCore() {
      Core a = cs[0].core;
      for(int i = 1; i < cs.length; i++) {
        Core v = cs[i].core;
        a = a.num > v.num ? a : v; // max, of negative values
      }
      return a;
    }