() :- seed(ok).