Does trivial fundamental group imply contractible?