Invariant_sigma-algebra loading ...