pavdzakai lujvo

x1 is the only thing that x2; x1 is the sole x2-er; only x1 is x2.

In notes:

pombo
x1 is unique in property x2; x1 is the only thing/all of the things that satisfy x2