annotated healthy (+J)