F* can prove false from any well-typedness assumption