johnswentworth comments on A Correspondence Theorem

[johnswentworth]

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