Implement traverseU_