Spec + Annotate