SMS: Syntactic derivations