answer(first, alpha).
answer(second, beta).