widens

not defined yet