A pinching theorem for homotopy spheres | Synapse