banzunu fu'ivla

That x1 (nu) happens is a sufficient condition for x2 (nu) to happen