examples 13-16