answer(ok, (left(a), right(b))).