connaturality

not defined yet