Find!
x1 and x2 and x3 ... satisfy an impossible-to-satisfy relation.
The constantly-false predicate: a bridi with this selbri is false no matter the terbri. See also zilzilo, the constantly-true predicate.