Continued adding to z3