final posted versions annotated