Finished up to Sec.3.2