# drocta comments on A Correspondence Theorem

• There are a few places where I believe you mean to write a but instead have instead. For example, in the line above the “Applicability” heading.

I like this.

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