Sort:  

Yes. Maybe Turing completeness IS the problem.