more edits to the example derivation section