drocta comments on A Correspondence Theorem