Talking it over with some friends, it became clear that my posts on this topic required an overview. The explanation got buried among the proofs, and it’s therefore hard to follow the flow of...