IR_20 (infinitesimal).pdf