ok: lookup(2000) = KO