a1 k1 y b1 x epsilon a2 a3 x y z k2 x 2 b2 y epsilon delta a4 x a5 x z k3 x b3 z