Invia SMS: Proof theory /