This is a sequel to last week talk, continuing with the theme of intersection forms and realization problem for smooth 4–manifolds. In this talk, we will discuss the proof of the Furuta's 10/8th theorem. Furuta's proof takes advantage of the Pin(2) symmetry of the Seiberg–Witten equations. We will spend some time of the talk introducing these gauge-theoretic equations carefully.