>>Even better, come November, we'll have an interesting second (twice):
>
>Once. Unless you share the common illusion that the day has 12 hours twice. We learn that it has 24 hours.

What do you call 11:11 p.m.? Just like that, military time, something else?