note sum1 sum2 example in ilp different types