this section argues the basic definitions for this