A Proxy which has a local notation, unique within the Aggregation that it is proxy in.