Annotating Other Givens

Annotating Other Givens