Recent models of the insurance risk process use a Lévy process to generalise the traditional Cramér–Lundberg compound Poisson model. This paper is concerned with the behaviour of the distributions of the overshoot and undershoots of a high level, for a Lévy process which drifts to −∞...