Updating examples 4, 5, and 7