add z3;