convergently
not defined yet