In this language, single-letter identifiers are simplest, but that would make the Index relation I. Unfortunately, the letter I already plays a useful role in linear algebra, as the identity matrix; hence, J = Index. For similar reasons, within this section, we will use V NKw and D NDoc.