They both talk about integral constant expressions, while p4 to p6 have nothing to do with integral constant expressions.

I'm not sure how to deal with the example in p7, though. In C++14 and later, both integral template arguments and array bounds are _converted constant expression_s of some type, so this example does no touch _integral constant expression_s at all.