Annotating Givens

Annotating Givens