If we replace t by − − i t , the time-evolution operator e − − i t H ^ ^ / ℏ ℏ is replaced by e − − t H ^ ^ / ℏ ℏ . (This change is known as a Wick rotation.) If we repeat the derivation of the path-integral formula in this setting, we obtain