For example, the smooth 4D Poincaré conjecture asks what the “simplest” closed 4D space is, and the slice-ribbon conjecture ...