_:z  _:x  _:x .