answer([pair(a, 1), pair(a, 2)]).