Find!
x1 is you-know-what (something whose identity is clear from context to both me and you).
This predicate is distinguished from ocme by the collectivity of its x₁ slot, whereas ocme may be distributive. predilex_id: bigehi