Updated cofinality and todos.
Worked on AG.