Positive-definite_function_on_a_group loading ...