Polynomial time computability presupposes a fixed machine model, yet Church-Turing thesis variants l...