Finished up to Sec.3.3