TekhneMakre comments on Verification Is Not Easier Than Generation In General