widened

not defined yet