Composition of Homotopies