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