Cardinal_invariant loading ...