added homotopy between functions