narrowing

not defined yet