Subdirectly_irreducible_algebra loading ...