enlargedness

not defined yet