Fix some typos and delete some unnecessary text
More work in the implementation section