Finitely_presented_module loading ...