Most of my posts are too long by half. They should be briefer, though perhaps not as brief as this one.