Αποστολή με SMS: Model theory and topoi :