Change proof environment.