(a, ((b1, b2), (b3, b4)));
