The vital element missing from these basic elucidations is any encouragement for the reader to think about how true or otherwise they are, to grasp their meaning by testing examples and overcoming logical cruxes.