(((x,((b1,b3),b2)),y),(f,(a,c)));
(((x,y),f),((a,((b1,b2),b3)),c));
