New submodule

LogicForCategories