“…The coarsest abstraction α 1 : T 16 → T 1 computes in effect the average of all the values of f , i.e. the (constant) value of f A 1 G 1 is exactly the average of 5,5,6,7,8,4,3,2,8,6,6,7,9,8,8,7. In general we can always compute such an average via the one point abstraction:…”