%% ?- answer(X0).

answer(ok) :- \+ slice([a], 1, 2, X).