Nathan's contribution

Some edits for wording, additional assumption