Finished cofinality section.