[aaroninsf]

Whole-heartedly seconded. I went through the proof twice, once in a math context and once a philosophical one. This work was referenced in both.