convergent isn't defined yet

Updates