Team Eiffel

This is from the Eiffel Software list at YahooGroups:

Bruce Mount wrote:

...sigh...I'm sure this is easy, but Ive spent a lot of time on this and I have not figured it out yet. How do you search in a BINARY_SEARCH_TREE?

Emmanuel Stapf replied:

There is no query to give you the item you looked for. For the moment, you may need to extend BINARY_SEARCH_TREE to add this feature.

It's always good to get the definitive answer from Manu - but this time I don't know whether to laugh or cry...