Details: Recall the definition of the completion of a local ring along its maximal ideal, see e.g.
[Eis95, p. 183]. Then state [Har77, I, Thm 5.5A] and
[Har77, I, Def on p.34] and explain [Har77, I, Example 5.6.1-5.6.3].
Then give Definition 1 in II, §1 and the following explanations in the two-dimensional case.
Introduce the notions: stratification, stratum,
. Then state Proposition-Definition 2.