Reflection on exercises and examples (4.2.4p)