Αποστολή με SMS: Dynamics, Uncertainty and Reasoning