I will present a cork theorem for diffeomorphisms of simply connected 4-manifolds, showing that one can sometimes localise a diffeomorphism to a contractible submanifold. I will sketch the proof and describe some applications. Joint work with Slava Krushkal, Anubhav Mukherjee, and Terrin Warren