Auto pilot and z3