It's been a surprisingly bad summer for my sleep. Partly, it feels like my bad allergy season is lasting longer (is permanent?): in the past, I'd taken two Claritins a day during the bad pollen season but only one during the rest of the year, but this year the bad season never really stopped, I just gave up. And it's probably partly the change in my sleep schedule because of the office move: I'm waking up at 6:45 instead of lazing in bed for half an hour after the alarm rings, but I'm not going to sleep half an hour earlier. (And at times I wake up still earlier than that, which is Not Helpful.)

But it's also because my brain has stuff to process. It's not like last year, when work was driving me crazy; but I have things to think about a little more often than I'd like.

Sigh. Ah well; it's not like I'm going to stop thinking about things...