Tim has sent me some thoughts on the "Proxy" discussion; I'd like us to sort through that. Also, Cigdem and I had a chance in London last week to talk about how the use cases could be described with a more formal calculus, so let's pursue that.

(And yes, we do have a "regular" WG call on Thursday -- please plan to attend that one so we can discuss the IETF/contribution topic!)