text: abstractions and interesting challenges for program abstraction needed to
  analyze actual systems.
  i hope that the reader, and dave in particular, is entertained by the analysis of the immune system as
  well as finding food for thought, challenges and maybe new insights.