A procedure that can be followed mechanically to find a solution.
Changes have been successfully stored.