Αποστολή με SMS: Heyting Algebras