tervi'a lujvo

Under conditions x1, x2 is seen by x3.