jonsumji lujvo

x1 is the union of sets x2 and x3.

See also jo'e, terkruca