Derivatives are what we would think they are. QED. Now for mkPMSM.