Rohin Shah comments on A Concrete Proposal for Adversarial IDA