A Binary Tree That Is Not a Binary Search Tree