add ex for 4.12 in ch 4.10