%% ?- 42.