Finished first theory section