Is (1) new? LaBerge had empirical evidence for lucid dreaming decades ago.