Kumar’s Irving Map, Irving