The definite integral