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.

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.