Αποστολή με SMS: Introduction to Annotated Logics