traverser generalize