Αποστολή με SMS: Reasoning with polarity in categorial type logic