Mori–Zwanzig formalism