Irving's Indefinite Integral