Fill in more of the 3.6 proof; tweak the statement of GI.