That&#x27;s true; &quot;hard to verify&quot; isn&#x27;t the good criterion either for a succinct distinction; all kinds of hard problems are easy to <i>verify</i> in poly time, including a modified version of this one.