Let p:EBp:E \to B a Serre fibration and a homotopy H:X×IBH:X \times I \to B with the initialization X×0h~0X \times 0 \mapsto \tilde{h}_0. Let H~1\tilde{H}_1 and H~2\tilde{H}_2 two different lifts of HH. Are ...