Section 2.8 has plain wrong example code and doesn't specify the equality relation employed. Patch attached. Leslie -- My personal blog: http://blog.viridian-project.de/