inductivity
not defined yet