Αποστολή με SMS: A theory of predicates