Find!
z1, more than z2, goes to k2 from k3 via k4 by means of k5.
Mentioned in example 12.91 (cll 1.1).