I am thinking of various functions. For example, when a concept is introduced and later, when the concept appears again, one can immediately see what it was when it is first introduced. That's why I said it's like an IDE.