ampleness

not defined yet