non-preorder