Restated Z3