Exotic structures and adjunction inequality
We reprove and strengthen some old difficult theorems of 4-manifolds by the aid of recently discovered modern tools, which involve contact structures on 3-manifolds, compact Stein domains, etc.