Revert "z3"