(Inspired by a random comment I happened to see go past just now, which was drawing one of these inferences and it wasn't entirely clear to me that it was justified in so doing.)