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	"follows in one step once you have understood the setup clearly" [1]
As you should verify	"I highly recommend that right now you take out a piece of paper and pen and do this computation yourself, to make sure that you are following along"
Theorem/proposition	"try to prove this as an exercise, and consult the proof below as a hint if you get stuck" [2]
Proof (at the start of a proof)
Definition	Follow some of the steps in Understanding mathematical definitions.