answer(from_a, c).
answer(from_b, d).