String replacements of code words

Occasionally when learning through a book, there are certain "code words" where one should perform a string replacement of the "code word" with some different phrase or list of instructions. For the sake of having a name for this sort of thing, this will be called string replacements of code words.

If one does not understand the meaning of the code word, this can lead to frustration or confusion.

This sort of string replacement can be cognitively taxing (sort of like writing in a markup language is more cognitively taxing than writing in a WYSIWYG editor).

Examples in mathematics

Code word	Replacement
Trivial, clearly, obviously	[1]
As you should verify
Theorem/proposition	[2]
Proof (at the start of a proof)
Definition	Follow some of the steps in Understanding mathematical definitions.