examples 4 and 7 failing