connaturalness
not defined yet