[deleted] comments on Verification Is Not Easier Than Generation In General