protected int numSync() { int c = 0; for (Node node : nodes) if (node.isRep() && node.hasSync()) c++; return c; }