abramdemski comments on A Correspondence Theorem