multi-slice computed tomography of coronary arteries

or Negishi approachqmore recently ([25], p. 168) and may have helped sort out ... entities in the formulation of a theorem is a tortuous exercise.