Sunday, mostly reading HtDP2