SK(A,'c')? Yes(2) A='a' A='b' SK('b','c')? Yes(1) SK(X,X)? Yes(1) X='b' SK(A,B)? Yes(3) A='a', B='c' A='b', B='b' A='b', B='c'