seznibju'a lujvo

j1 (text) is a tautological statement about j2 in language j3.

From sezni'i (sevzi + nibli) + jufra.