An introduction to lucid dream exploration