a homotopy from f to g