adding annotated papers from 712