Return to initial state proven