The Annotated Specs