rewidening

not defined yet