SMS dit: Definable henselian valuations