Mostly done. Theorems need to be added to Section3