It looks like it would be more natural to use a weighted-sum operator instead of a weighted-average...? (I appreciate we don't have one right now! But it shouldn't be that hard to create one.)