If each line implies the previous line, then this is a valid proof of a <=> z.
Suppose someone wanted to prove and they proceeded as follows:
Is there a problem with this?
I think yes because the intermediate steps to the proof are wrong, so it's like the premises being wrong?
Edit: suppose all intermediate steps are correct as in the next line follows the former.