Little more of section 3, including some fixes for Claim 3