chapter 4 remark tweak
chapter 7 remark about bifunctor lemma