Definition of "Ingersoll"