Invia SMS: Proof and Disproof in Formal Logic :