answer(first, a).
answer(tail, [b, c]).