Invertible_function loading ...