Finitely_generated_object loading ...