answer(pair(a, b).