Tue Feb 06 12:56:11 +0000 2018 : @jaypipes I think we may be talking about different classes of problems.