And while you're at it, solve the halting problem.