The Cobham-Edmonds thesis equates feasibility with polynomial-time computability, so any provably la...