converges
not defined yet