Definition of "introduces"