Even a proof that P is a strict subset of BQP would not by itself settle the bearing of quantum comp...