It's past midnight here in at LBL.
There are a few night owls here in Berkeley besides Lumsdaine and myself. Just now I heard a wailing, anguished cry from down the hall. It sounded like sheep dying.
I don't ask what happens down there at the end of the hall; they're all mathematicians. They scare me.