Class TrueTraversal<S>