Translate this formula into an english sentence using this "dictionary":

A= Salt is added to the soltuiton

D= the solution's boiling point drops

M= The manuel is correct

S= The solution boils sooner

(A --> D) --> (A --> S)