What is a definite integral?