RecruitingPhase 2ProcedureInduction of Dreaming With EEG and Anesthesia for Post-traumatic Stress DisorderThe goal of this study is to test whether anesthesia-induced dreaming can help alleviate symptoms of PTSD in an (1) open-label trial (Phase I) and (2) double-blind, randomized controlled trial (Phase II) in a non-surgical setting. The investigators predict that inducing and sustaining a dream state prior to emergence from anesthesia will result in reduced symptoms of PTSD. Participants will undergo EEG-guided propofol anesthesia during which they will be either (1) receiving deep sedation leading to loss of responsiveness, designed to elicit dream reports upon emergence (Dream Protocol), and/or (2) light sedation without loss of responsiveness, designed to elicit non-dream experiential reports while responsive (e.g., simple imagery, sounds, thoughts, bodily sensations, hypnagogic-like experiences) (Non-Dream Protocol). The investigators will then investigate whether the deep-sedation Dream Condition is associated with a larger reduction in PTSD symptoms than the light-sedation Non-Dream Condition.