Intro to Sufficient and Necessary Conditions