(((xbixA,xbixC),xbixD),xbixB);