And if we're going to use eq_, we should also use ok_.