You said this was an efficiency issue, and Church-Turing says nothing about efficiency.