Maltsev_variety loading ...