public IndexedWord makeSoftCopy() { if (original != null) { return original.makeSoftCopy(); } else { return makeSoftCopy(++numCopies); } }