Zaslat SMS: Derivation and martingales