Zaslat SMS: Definable henselian valuations