answer(ok, a).