allows a, b and a, (b, c)