fakli'u lujvo

x1=l1=f1 explores fact x3=f2 about x2=l2=f3 using instrument x4=l3