finally figured how to notate this homotopy.