_:x  _:z  _:x .