Always Reduce SML