[deleted] comments on What independence between ZFC and P vs NP would imply