Moved derivation to an appendix/supplement