convergent extensions