more on z3