/// public boolean skipTo(Term target) { /// do { /// if (!next()) /// return false; /// } while (target > term()); /// return true; /// } ////// Some implementations *could* be considerably more efficient than a linear scan. /// Check the implementation to be sure. ///