zilni'i lujvo

x1 is true

See also ja'a, nibli