Find!
under conditions x2, it is not possible that x1 (event/state/property) doesn't happen / x1 necessarily happens