Hot: restrictedcategorymodule