Bijective_function loading ...