PhilGoetz comments on Causality does not imply correlation

[PhilGoetz]

Sorry that I sounded dismissive. It’s a nice proof, and it wasn’t obvious to me.