Find!
x1 (predication) is possible.
There exists a possible world in which x1 is true. Equivalent to operator M from modal logic. See also zilsa'u, bi'ai, mu'ei, and ka'e.