answer(pair(a, b)).