That "nightmares are part of a (slow and painful) processing of PTSD events".