Subdirectly_irreducible loading ...