cofinality update