Edited based on comments from Ben, mostly clarity and typos