athing = and [a, b]