$\begin{array}{1 1}\text{a has a unique value}\\\text{b has a unique value}\\\text{a can have more than one value}\\\text{a has exactly two different values}\end{array} $