AASL 5.5.3 Definite integration