Following problems from Arora-Barak: 1.5,1.11,2.2,2.8,2.10,2.14,2.23,2.29,2.30,2.33,3.2,4.3,4.4,4.5,,4.6,4.7,4.12