answer(pair(ok, ok), '', 1, true).
