| Follow the link to view the displayed object alone (without this control frame) | |
| (Before following the link, you must install the HELM Annotation Helper) | |
| DC Metadata and dependency metadata; Dependency graphs | |
| Proof-checking is recursively performed over the untrusted parts of the library |