Sec 4-6 proof