boundness

not defined yet