So if BQP turns out to be larger than P, will Wolfram announce his theory wrong or rather modify its predictions? This would be a great test of... himself.