Lao Mein comments on Verification Is Not Easier Than Generation In General