category,construction
Top*,binary sum