This document introduces key philosophical terminology used to precisely specify conditions: necessity, sufficiency, contingency, and biconditionality. It explains that necessity means a condition is needed but not sufficient, while sufficiency means a condition or set of conditions are the only things required. Contingency means a condition is not necessary. The biconditional "if and only if" (iff) precisely connects two statements. The document aims to teach this terminology and start thinking about definitions of belief, truth, justification and knowledge by considering necessary, sufficient and contingent conditions.