Proper integration