Worked examples from the book