Enviar por SMS: On the Proof Theory of Modal Logics