_:x  _:x  _:z .