Finished up to Sec.3.1