guided homotopies for a Z-torsor: contractible