Comments on notes-cog-basicLevelCategories