Dec 29th: Finished derivation