more on BinarySearchSET