Substitution for structural coeffects (Chapter 5)