Contractible means more than connected [00D2]
    • Define contractible
    • Define connected
    • Equal vs merely equal
    • truncation kills higher paths
    • S^1 is not contractible
    • S^1 does not have distinct connected components
    • S^1 is connected