smallnesses

not defined yet