Enviar por SMS: Towards a canonical classical natural deduction system