Update z3.md