the definition is not satisfying what exactly are f and g something like