Bottom sniffing.
Bottom sniffing, TPTP-style.
Bail out if bottom is found.