diff --git a/Capabilities.md b/Capabilities.md index 9946ea6..e9ad5e3 100644 --- a/Capabilities.md +++ b/Capabilities.md @@ -32,12 +32,13 @@ derive #2 (but not the other way around). The full table is: write read verify -------------------- - #1 -> #2 - #3 - #4 -> #5 -> #6 - #7 -> #8 - #9 - #10 -> #11 -> #12 + #1 -> #2 } + #3 } filecaps + #4 -> #5 -> #6 } + + #7 -> #8 } + #9 } dircaps + #10 -> #11 -> #12 } Deriving a weaker capability from a strong one is called "diminishing" the stronger one.