improved theory + typos