drocta comments on A Correspondence Theorem

[drocta]

There are a few places where I believe you mean to write $f_2\left(X_2\right)$ a but instead have $f\left(X_2\right)$ instead. For example, in the line above the “Applicability” heading.

I like this.

[johnswentworth]

Ah, thanks. I think I got them all now.