johnswentworth comments on A Correspondence Theorem