more edits for the example derivation