Αποστολή με SMS: Foundations of Reasoning under Uncertainty