If you define "the z of x" as the last element of x, then it is correct. Whether such a definition is reasonable (especially when x already contains an element

If you define "the z of x" as the last element of x, then it is correct. Whether such a definition is reasonable (especially when x already contains an element specifically named "z") is left as an exercise to the reader. EDIT: I suppose this doesn't include 0x7A-0x7F either so it's not even technically correct under that definition.