edits to derivation