Adding Category Elimination