examples 7 and 8