Αποστολή με SMS: Constructive Negations and Paraconsistency