visysanji lujvo

x1=v1=s1 sees x2=v2=s2 under conditions x3=v3