widening

not defined yet