Tim Post even says that theta waves induce dreams, BUT they do not induce lucidity. He also said, in order to achieve lucidity, you must be aware you are dreaming. The high beta and gamma wave ranges induce exactly that.