 in fact believe or realize in the course of a dream that he was dreaming, and even if we said that, in such case, he only dreamt that he was dreaming, this still leaves it possible for someone who is asleep to entertain at the time the thought that he is asleep. (Lewis 1969: 133) 