widen also has issues with extra somen
update, almost there, but issues with extra somen needs to be resolved for widening and refl