19.2.3 Rigorous derivation