Lifting of homotopies:

We now examine what happens when we lift homotopic paths with the lifts having the same initial points.