If the equivalence of RAM and TM depends on accepting polynomial overhead as costless, the argument ...