The starting point of Redfield theory is the Nakajima–Zwanzig equation with P projecting on the equilibrium density operator of the environment and Q treated up to second order. An equivalent derivation starts with second-order perturbation theory in the interaction H int . In both cases, the resulting equation of motion for the density operator in the interaction picture (with H 0 , S = H + H env ) is