ri'anzu fu'ivla

x1 is such that, if x2 is the case, then the latter causes the former.