Continued reworking of continuous differentiability proof