Review of the article by Corcoran, Hatcher, and Herring on variable-binding term operators