compute X3 = X1 / Z1 compute Z3 = 1