Finitely_generated_projective_module loading ...