examples 9 and 10 added