recovered what was lost when things were accidentally deleted, unification still unimplemented