Midway through 2,check comment for proving 3.