nonselsumji lujvo

x1 is the additive inverse of x2.

See also va'a