Cognitive behavioral therapy for insomnia and likely PTSD may benefit female veterans