preordertraversaliter