condition that, if satisfied, guarantees that s obtains
-condition or set of conditions that will produce an event -the condition represented by the antecedent in a conditional statement
guarantees all necessary conditions have been met