%% ?- answer(X0).

base(ok).
answer(source).
answer(derived) :- base(ok).