more edits to derivation