His insomnia was so bad, he couldn’t sleep during office hours.