Cofinality theorem finished.
Resolution section (almost) fininished.