annotated Core