發送短信: Constructive Negations and Paraconsistency