Whew, finally (I think) settled on an "expicitly" syntax for uses of Holder and Aggregation.