Tweaks and additions in bounded reuse (Chapter 3)