Adding simulations of internal storage and subroutines to prove that these enhancements do not actually make Turing Machines any more powerful (just faster & easier to write).