Can you find top in a haystack?
Top in TPTP.
If top is found, bail.