continue work on Z3