answer(first, pair(first, ok)).
answer(second, pair(second, ok)).