Adding Category Elimination
fixing category announcement
lint