raunka fu'ivla

x1 is the case to a sufficient amount for x2 to be the case.