finished proof preservation