Countably_additive_measure loading ...