Loading BasicLogic