Axiom AA2: forall h,h',g in H forall a in (0,1] h>h' => ah+(1-a)g">"ah'"+"(1-a)g