smallness

not defined yet