Find!
x1 (predication) is necessary.
x1 is true in all possible worlds. Equivalent to operator L from modal logic. See also zilcu'i, bi'ai, mu'ei, and ka'e.