where Û (t, t′) is the unitary time-evolution operator for the system taking states at time t′ to states at time t. Note the initial condition enforced by lim t → → t ′ K ( x , t ; x ′ , t ′ ) = δ δ ( x − − x ′ ) .