Douglas_Knight comments on What independence between ZFC and P vs NP would imply