Introduction and definition of infinitives