Sections 2,3 proof