jetycipra lujvo

x1 is a test for determining whether x2 is the case.

See also cipra.