%% goal: answer(X0)

answer(ok) :- \+ aggregate_max(Key, Value, missing(Value), BestKey, BestValue).