ampleness
not defined yet