annotated transactions