derivations done