This section provides overviews of background material for those unfamiliar with it.  It can be safely ignored by anyone reading Part I. If you're reading Part II, then you should be familiar with the material in the math and logic sections.  The [philosophy]