( x , yz ) + ( x , yz ) + ( x , yz )