⟨x_f,t_f|x_i,t_i⟩ = ∫𝒟x e^(iS[x]/ℏ); semiclassical stationary-phase gives Hamilton principal function; basis for QFT.