A 67-year-old man with painful diplopia: answer