Wall's stabilization principle suggests that exotic phenomena in dimension four in the orientable category disappear after taking connected sums with sufficiently many S2xS2. Since most known exotic pairs of closed 4-manifolds become diffeomorphic after one stabilization, a natural question was: is a single S2xS2 enough? Recently, Jianfeng Lin constructed an exotic diffeomorphism on a closed 4-manifold-a diffeomorphism topologically isotopic to the identity but not smoothly isotopic-that survives one stabilization. In this talk, we provide a relative exotic diffeomorphism on a compact contractible 4-manifold that survives two stabilizations. This gives the first exotic phenomenon in the orientable category that survives two stabilizations. The obstruction to stabilization comes from equivariant Seiberg–Witten theory, together with a version of lattice homology. I will also survey some background and recent developments in equivariant gauge theory. This is joint work with Sungkyung Kang and JungHwan Park.