Enhancement during REM sleep of extracellular potassium ion activity in the reticular formation