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