Contractibility and being equivalent to unit are logically equivalent.
Partial path space is contractible.
Axiom (theorem) of choice.