see [[Kernohan notch phenomenon]].