Paper Review - Flexible Operations for Natural Language Deduction Authors: Kaj Bostrom, Xinyu Zhao, Swarat Chaudhuri, Greg Durrett