start doing fully annotated (precise) set along with library