convergences

not defined yet