I think this is noncontroversial / common knowledge, but I didn't see it described anywhere authoratively yet.