Finished derivation