Small fixes to sec 3 and 4 made during meeting with kang.