Errata: In Example 6.5, definitions of z1 and z2 are switched