Αποστολή με SMS: A proof theory for general unification /