Introduce "summands" concept to categories to define computing rules