Injective_function loading ...