rolcumja'e lujvo

x1 is inevitable under conditions x2; Any cases under conditions x2 result in x1

See also: narfaunarcu'i, to'e cunso