SMS versenden: Proof and Disproof in Formal Logic :