Polynomial-time reducibility as a canonical equivalence relation depends on the Church-Turing thesis...