Search: Se: r1(x); r2(z); r1(z); r3(x);