z3 updates.