Does SML need to clarify something?