Eliezer Yudkowsky comments on Causal Reference

[Eliezer Yudkowsky]

(I like that! The idea that it follows just from the associative property and no other features of PA is quite elegant.)