Hypnagogic Logic