have no merge then they are said to be \emph{inconsistent}.
\item The class precedence list of a class $C$ is a merge of the local
precedence list of $C$ together with the class precedence lists of each of
- $C$'s direct superclasses.
-\item If there are no such merges, then the definition of $C$ is invalid.
+ $C$'s direct superclasses. If these lists are inconsistent, then the
+ definition of $C$ is invalid.
\item Suppose that there are multiple candidate merges. Consider the
earliest position in these candidate merges at which they disagree. The
\emph{candidate classes} at this position are the classes appearing at this