Annotate, validate, and test