visycu'i lujvo

x1 is visible to x2 under conditions x3