answer(ok) :- seed(ok), .