AISL 1.2.2 Sigma notation