rohinmshah comments on A Concrete Proposal for Adversarial IDA