example that I'm studying of PGAE book.