Started working on Z3
Started working on Z3