AbstractLet be a maximal measure on a compact convex set K, K* be the state space of the space of all continuous functions f: KK ℝ which are affine in the first variable, 1 be the -algebra on K generated by the Baire sets and the compact extremal subsets of K, and = {BeK1}. Then(i) For any fixed continuous function g:K ℝ and -almost all x in K, there is a closed face of K containing x on which g is constant.(ii) The image of under the map :KK* defined by f, (x) = f(x, x) is the unique maximal measure on K* representing its barycentre(iii) induces a measure on (eK) satisfying certain regularity conditions.