menseigauka'e lujvo

x1=k1 is able to distinguish between x2=ms1 and x3=ms2 under conditions x4=k3