Getting to SML