Banned because P = NP.