((a1, a2), ((c1, c2), (b1, b2)));
