Geoffrey Irving comments on What problems in society are both mathematically challenging, verifiable, and competitively rewarding?