Robert Miles comments on In favor of steelmanning