Added examples 4.12 & 4.13