What if all things computable are computable in polynomial time?