%% ?- answer(X0).

answer(X) :- between(4, 4, X).
