defined integral