answer(diagonal, a).
answer(diagonal, c).