I think it would be more explicit to define 3 variables: x_, y_ and z_; can we switch to that?