trans on agg high-level concepts