Lucid dreams are a distinctive and intriguing phenomenon where subjects apparently possess, inter alia, conscious knowledge that they are dreaming while they are dreaming. I here develop and defend a new model of lucid dreaming, what I call the ‘Dyadic Model’, according to which lucid dreams involve the tokening of both dreaming and non-dreaming states. The model is developed to successfully defend the Imagination Theory of dreams, according to which to dream is to imagine, against the underexplored objection that it (...) cannot account for lucid dreams. Moreover, as I explain, a range of theories of dreaming have reason to adopt the Dyadic Model, and it has further potential applications, including to false awakening and emotional responses to dreams. Hence, getting lucid about lucid dreaming reveals general insights for dream theorizing. (shrink)