All in Z3