  In this article, we give a complete and self--contained account of Chernysh's
strengthening of the Gromov--Lawson surgery theorem for metrics of positive
scalar curvature. No claim of originality is made.
