Finished new proof of cofinality theorem. Still need to add technical lemma and clean up new errors.