Shortly after I posted 14-162, I discovered some more stuff that fits under its rubric, so I posted 14-162r1. Then I found more stuff. Ignore 14-162 and 14-162r1. There's nothing in them that's not in 14-162r2.