Email Record: A proof theory for general unification /