Algebraic_invariant loading ...