Work on require-kb