Finite_type_invariant loading ...