Marcus has been waking up several times each night and can't fall back asleep. His clinician teaches him stimulus-control techniques (like using the bed only for sleep), sleep restriction, and progressive muscle relaxation, which together reduce his nighttime awakenings. This clinician is most likely using a therapy known as
