derivation tidied