SimonM comments on Derivative AT a discontinuity