Integration as the reverse of differentiation