Ontify
4-dimensional contractible smooth manifold with boundary that is not diffeomorphic to the 4-ball.