This is an example taken from a course I teach.