Is there a typo here? `z` is not in scope, and `x` is unused.