ATP1A2 and familial hemiplegic migraine: We will focus on reviewing the functional studies in FHM1 and FHM2 KI mice which carry mutations causing pure FHM and thus should model migraine as close as possible, and will discuss the insights into migraine pathophysiology obtained from these studies.