Find!
if x1 (proposition) is true then x2 (event) happens else x3 (event) happens
Alternatively, x2 and x3 may be propositions that are true rather than events that happen. See ganai, jetnu, va'o