condition that, if satisfied, guarantees that s obtains
a condition that will definitely bring about another event
a condition is said to be sufficient for another condition (y) if and only if the truth existence/occurrence of x guarantees or brings the truth/ existence/occurrence of y.