Expressive_function_of_law loading ...