Added examples 16 and 17.