Spent time carefully understanding *cond* expressions from section 4.2.