Looks like the NIL problem is going to get solved