On today's call (in the 1st minute of the recording), Alan mentioned that there was a requirement that might easily be missed by the uninitiated if it weren't in the first example in the spec. If I heard correctly, it was that all delegations and subdelegations need to carry on the initial sub-- more generally, it might be worth doing a whole pass of // <-- NOTE: ... annotations and adding illustrative policies to the first example or two in each spec...