new work on categories and rules