Annotations and holes (Docs TODO)

Annotations

Holes