Finite_von_Neumann_algebra loading ...