... because they set the groundwork for true understanding, and true understanding ... translate literally every statement into conditional logic, which I then need to ... formal logic as just sufficients and necessaries, arrows and slashes, contrapositives and other ...