Attempting to prove preservation of Z1