But what exactly does "full solution portable" mean in the context of TOC? It refers to solutions that are:

However, two problems plague students globally:

Design techniques, multitape and nondeterministic TMs, and the Church-Turing thesis.