Hi John, you are correct on both counts (as always ):
- Yes, this is a basic rule in all capability-based systems. However I don't think it is being violated here because the override is done in a specific context.
- The fact that irrelevant capabilities are shown is confusing.
Joseph